Dieter Hutter：在 Z-Library 上搜索

您通往知識和文化的門戶。每個人都可以使用。

Don't use scam websites

已應用篩選

精確匹配

精確匹配

圖書 (10)
最受歡迎
- 排序方式×
- 最受歡迎
- 最佳匹配
- 最近添加的
- 按標題 (A-Z)
- 按標題 (Z-A)
- 按年
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

1

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Cambridge University Press

Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

年:

2005

語言:

english

文件:

PDF, 996 KB

0 / 0

english, 2005

2

MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings

MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dieter Hutter (auth.), Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos Alberto Reyes Garciá (eds.)

年:

2009

語言:

english

文件:

PDF, 18.13 MB

0 / 0

english, 2009

3

Ambient Intelligence: 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings

Ambient Intelligence: 4th International Joint Conference, AmI 2013, Dublin, Ireland, December 3-5, 2013. Proceedings

Springer International Publishing

Serge Autexier, Dieter Hutter, Christoph Stahl (auth.), Juan Carlos Augusto, Reiner Wichert, Rem Collier, David Keyson, Albert Ali Salah, Ah-Hwee Tan (eds.)

年:

2013

語言:

english

文件:

PDF, 28.49 MB

0 / 0

english, 2013

4

Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

Security in Pervasive Computing: Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Lorenz M. Hilty (auth.), Dieter Hutter, Markus Ullmann (eds.)

年:

2005

語言:

english

文件:

PDF, 2.89 MB

0 / 0

english, 2005

5

MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings

MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dieter Hutter (auth.), Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos Alberto Reyes Garciá (eds.)

年:

2009

語言:

english

文件:

PDF, 18.34 MB

0 / 0

english, 2009

6

MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings

MICAI 2009: Advances in Artificial Intelligence: 8th Mexican International Conference on Artificial Intelligence, Guanajuato, México, November 9-13, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Dieter Hutter (auth.), Arturo Hernández Aguirre, Raúl Monroy Borja, Carlos Alberto Reyes Garciá (eds.)

年:

2009

語言:

english

文件:

PDF, 20.88 MB

0 / 0

english, 2009

7

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Dieter Hutter, Werner Stephan (auth.), Dieter Hutter, Werner Stephan (eds.)

年:

2005

語言:

english

文件:

PDF, 5.54 MB

0 / 0

english, 2005

8

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Applied Formal Methods — FM-Trends 98: International Workshop on Current Trends in Applied Formal Methods Boppard, Germany, October 7–9, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Egon Börger (auth.), Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)

年:

1999

語言:

english

文件:

PDF, 21.62 MB

0 / 0

english, 1999

9

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003. Revised Papers

Security in Pervasive Computing: First International Conference, Boppard, Germany, March 12-14, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Friedemann Mattern (auth.), Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann (eds.)

年:

2004

語言:

english

文件:

PDF, 2.98 MB

0 / 0

english, 2004

10

Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung

Mögliche Maßnahmen, Instrumente und Wirkungen einer Steuerung der Verkehrs- und Siedlungsflächennutzung

Springer-Verlag Berlin Heidelberg

Dr. Kilian Bizer, Dr. Dieter Ewringmann, Dipl.-Volksw. Eckhard Bergmann, Dr. Fabian Dosch, Dipl.-Ing. Klaus Einig, Dipl.-Volksw. Gerard Hutter (auth.)

年:

1998

語言:

german

文件:

PDF, 3.84 MB

0 / 0

german, 1998